Cycling in proofs and feasibility
نویسندگان
چکیده
منابع مشابه
Cycling in Proofs and Feasibility
There is a common perception by which small numbers are considered more concrete and large numbers more abstract. A mathematical formalization of this idea was introduced by Parikh (1971) through an inconsistent theory of feasible numbers in which addition and multiplication are as usual but for which some very large number is defined to be not feasible. Parikh shows that sufficiently short pro...
متن کاملmanipulation in dubbing and subtitling
پژوهش حاضر در چارچوب مکتب دستکاری قرار گرفت و با استفاده از تقسیم بندی دوکات (2007) از شیوه های دستکاری، به دنبال یافتن پاسخ برای پرسش های زیر بود: 1-رایج ترین شیوه دستکاری در دوبله فیلم ها کدام است؟ 2-رایج ترین شیوه دستکاری در زیرنویس فیلم ها کدام است؟ 3-دستکاری در دوبله فیلم ها رایج تر است یا در زیرنویس آن ها؟ این پژوهش از نوع تحقیقات توصیفی- مقایسه ای و پیکره ای می باشد. پیکره تحقیق شا...
Commentary on "A Tandem Cycling Program: Feasibility and Physical Performance Outcomes in People With Parkinson Disease".
BACKGROUND AND PURPOSE Individuals with Parkinson disease (PD) have motor and nonmotor impairments that interfere with exercise participation. The purpose of this study was to examine the feasibility and physical performance outcomes of a community-based indoor tandem cycling program that was designed to facilitate a higher cadence, consistency, and intensity of training. METHODS Forty-one pa...
متن کاملFinding proofs and checking proofs
The classic dichotomy between proof discovery and proof presentation resurfaces in automated deduction. The LCF style of theorem proving offers a promising way to integrate formal deductive proof with higher-level algorithmic or heuristic forms of mathematical activity. One way of dealing with the potential inefficiency of a reduction to a formal deductive system is to exploit the separation of...
متن کاملExplanatory Proofs and Beautiful Proofs
This paper concerns the relation between a proof’s beauty and its explanatory power — that is, its capacity to go beyond proving a given theorem to explaining why that theorem holds. Explanatory power and beauty are among the many virtues that mathematicians value and seek in various proofs, and it is important to come to a better understanding of the relations among these virtues. Mathematical...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1999
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-99-02300-4